euclid division lemma